knows((umc1,s),ctxm(dot,ps,ip, (ip,ps), (ip,ps))).
knows((umc1,s),ctxm(dot,umc1,ip, (ip,umc1), (ip,umc1))).
knows((umc1,s),ctxm(dot,umc2,ip, (ip,umc2), (ip,umc2))).
knows((umc1,s),ctxm(dot,umc3,ip, (ip,umc3), (ip,umc3))).
knows((umc1,s),ctxm(dot,ci,ip, (ip,ci), (ip,ci))).
knows((umc1,s),ctxm(dot,r,ip, (ip,r), (ip,r))).
knows((umc1,s),ctxm(kappa_,u,bsn,i_bsn,i_bsn)).
knows((umc1,s),ctxm(kappa_,u,d_1, (i,d_1), (c,d_1))).
knows((umc1,s),ctxm(kappa_,u,d_2, (i,d_2), (c,d_2))).
knows((umc1,s),ctxm(kappa_,u,d_3, (i,d_3), (c,d_3))).

knows((umc2,s),ctxm(dot,ps,ip, (ip,ps), (ip,ps))).
knows((umc2,s),ctxm(dot,umc1,ip, (ip,umc1), (ip,umc1))).
knows((umc2,s),ctxm(dot,umc2,ip, (ip,umc2), (ip,umc2))).
knows((umc2,s),ctxm(dot,umc3,ip, (ip,umc3), (ip,umc3))).
knows((umc2,s),ctxm(dot,ci,ip, (ip,ci), (ip,ci))).
knows((umc2,s),ctxm(dot,r,ip, (ip,r), (ip,r))).
knows((umc2,s),ctxm(mu_,u,bsn,i_bsn,i_bsn)).
knows((umc2,s),ctxm(mu_,u,d_4, (i,d_4), (c,d_4))).
knows((umc2,s),ctxm(mu_,u,d_5, (i,d_5), (c,d_5))).
knows((umc2,s),ctxm(mu_,u,d_6, (i,d_6), (c,d_6))).

knows((ci,s),ctxm(dot,ps,ip, (ip,ps), (ip,ps))).
knows((ci,s),ctxm(dot,umc1,ip, (ip,umc1), (ip,umc1))).
knows((ci,s),ctxm(dot,umc2,ip, (ip,umc2), (ip,umc2))).
knows((ci,s),ctxm(dot,umc3,ip, (ip,umc3), (ip,umc3))).
knows((ci,s),ctxm(dot,ci,ip, (ip,ci), (ip,ci))).
knows((ci,s),ctxm(dot,r,ip, (ip,r), (ip,r))).
knows((ci,s),ctxm(dot,r,dom1, (dom,r,beta_1_), (dom,r,beta_1_))).
knows((ci,s),ctxm(dot,r,dom2, (dom,r,beta_2_), (dom,r,beta_2_))).

knows((r,s),ctxm(dot,ps,ip, (ip,ps), (ip,ps))).
knows((r,s),ctxm(dot,umc1,ip, (ip,umc1), (ip,umc1))).
knows((r,s),ctxm(dot,umc2,ip, (ip,umc2), (ip,umc2))).
knows((r,s),ctxm(dot,umc3,ip, (ip,umc3), (ip,umc3))).
knows((r,s),ctxm(dot,ci,ip, (ip,ci), (ip,ci))).
knows((r,s),ctxm(dot,r,ip, (ip,r), (ip,r))).
knows((r,s),ctxm(beta_1_,u,d_7, (i,d_7), (c,d_7))).


knows(umc1,M) :- knows((umc1,s),M).
knows(umc2,M) :- knows((umc2,s),M).
knows(ci,M) :- knows((ci,s),M).

